The complexity of model checking concurrent programs against CTLK specificationsLOMUSCIO, Alessio; RAIMONDI, Franco.Lecture notes in computer science. 2006, pp 29-42, issn 0302-9743, isbn 3-540-68959-1, 1Vol, 14 p.Conference Paper

The Anonymous Subgraph ProblemBETTINELLI, Andrea; LIBERTI, Leo; RAIMONDI, Franco et al.Computers & operations research. 2013, Vol 40, Num 4, pp 973-979, issn 0305-0548, 7 p.Article

MCMAS : A model checker for Multi-Agent SystemsLOMUSCIO, Alessio; RAIMONDI, Franco.Lecture notes in computer science. 2006, pp 450-454, issn 0302-9743, isbn 3-540-33056-9, 1Vol, 5 p.Conference Paper